('a, either('b, 'c))